 S
  where
   S = 0 fby S + X;
  end
